Green Formulas

Formulas with logical parts.